1. Generating Hardware Assertion Checkers
پدیدآورنده : \ Marc Boulé, Zeljko Zilic
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Integrated circuits -- Very large scale integration -- Computer-aided design. ,Integrated circuits -- Verification. ,مدارهای مجتمع -- مجتمعسازی در مقیاس بسیار بزرگ -- طراحی به کمک کامپیوتر,مدارهای مجتمع -- راستیآزمایی
رده :
E-Book
,
